طالعة فالليل موجود . والإيجاب المنفصل كقولك : العدد إمّا زوج وإمّا فرد ومعناه إثبات العناد بينهما . والسلب المنفصل هو ما يسلب هذا العناد كقولك : ليس إمّا أن يكون الإنسان حيوانا وإمّا أبيض ( ر ، ل ، 9 ، 16 ) - الجزء الأول من ( القضية ) الشرطيّة أي شرطيّة كانت يسمّى مقدّما لتقدّمه في الذكر طبعا وإن تأخر وضعا ، والثاني تاليا لتلوه لذلك ( ه ، م ، 13 ، 19 ) - إنّ التالي يحتمل أن يكون أعم من المقدّم ، فلا يلزم من وضعه أو رفعه ما هو أخصّ منه ، شيء ( ط ، ش ، 500 ، 7 ) تام - التام إن احتمل الصدق والكذب فهو الخبر وإن لم يحتمل فهو الإنشاء ( ن ، ش ، 5 ، 7 ) - التام هو الكاشف للحقيقة كلّها ( ض ، س ، 27 ، 11 ) تام العناد - التام العناد ما استوفيت فيه « المتعاندات » كلها كانت « اثنتين » أو أكثر ( ف ، ق ، 84 ، 14 ) تباين - التباين قد يقع على وجوه ، فيقع في أشياء مختلفة الموضوعات ، مثل الحجر والفرس ؛ وقد يقع في شيء واحد متفق الموضوع مختلف الاعتبارات ؛ فمن ذلك أن يكون أحد الاسمين له من حيث موضوعه ، والآخر من حيث هو له وصف ( س ، م ، 16 ، 4 ) تبكيت - التبكيت هو قياس منتج لنقيضه الأصل الموضوع . فإن لم تفرض المسائل بشيء ، فإنه محال أن يكون تبكيت ، لأنه قد تبيّن أنه لا يكون قياس بسلب الحدود كلها . فإذن ولا تبكيت يكون ، لأنه إن كان تبكيت فقد كان قياس لا محالة ( أ ، ق ، 286 ، 7 ) - التبكيت بالقول بعينه على الانفراد يكون على . . . أوجه : ( فالأوّل ) منها إذا كان لا تلزم من الأشياء المسؤول عنها نتيجة : لا نحو الأمر الموضوع ولا نحو شيء من الأشياء أصلا ، كانت الأشياء التي عنها تحدث النتيجة كاذبة أو غير محمودة : إما جميعها أو جمهورها . ولا إن زيدت أشياء أو نقصت ، ولا إن حذف بعض هذه الأشياء أو أضيف بعضها تحدث نتيجة ؛ ( والثاني ) الّا يكون القياس ، المؤلّف من أمثال هذه الأشياء ومن هذه حاله بحسب ما قلنا فيما سلف ، موجّها نحو الأمر الموضوع ؛ ( والثالث ) متى كان حدوث القياس بأشياء ما تزاد أو تنقص ، إلا أنها تكون أخسّ من الأشياء التي يسأل عنها ودون النتيجة في الإحماد . وذاك أنهم أحيانا يستعملون في القياس أشياء تزيد على ما يحتاج إليه فيه لئلا يحدث عن وجودها قياس . وأيضا فإذا كان القياس من أشياء هي أقل إحمادا وصدقا من النتيجة ، أو كان من أشياء صادقة إلّا أنه يحتاج في تبيينها من العمل إلى أكثر ما يحتاج إليه في الأمر المطلوب ( أ ، ج ، 720 ، 3 ) - التبكيت هو قياس يتضمن مناقضة النتيجة ( أ ، س ، 740 ، 6 ) - أنحاء التبكيت هما نحوان : أحدهما من